#include <stdlib.h>
#include <time.h>
#include "systemc.h"

int SetRandomSeed(int seed)
{
	srand(seed);
	return seed;
}

int SetRandomSeed(void)
{
	time_t seed = time(NULL);
	srand(seed);
	return seed;
}

int RandomValue(int min, int max)
{
	int valor;

	valor = rand() % (max-min+1) + min;
	return valor;
}